Combinatorial generation of operation system software configurations
نویسندگان
چکیده
منابع مشابه
Complete combinatorial generation of small point configurations and hyperplane arrangements
A recent progress on the complete enumeration of oriented matroids enables us to generate all combinatorial types of small point configurations and hyperplane arrangements in general dimension, including degenerate ones. This extends a number of former works which concentrated on the nondegenerate case and are usually limited to dimension 2 or 3. Our initial study on the complete list for small...
متن کاملCombinatorial Generation of Small Point Configurations and Hyperplane Arrangements
A recent progress on the complete enumeration of oriented matroids enables us to generate all combinatorial types of small point configurations and hyperplane arrangements in general dimension, including degenerate ones. This extends a number of former works which concentrated on the non-degenerate case and are usually limited to dimension 2 or 3. Our initial study on the complete list for smal...
متن کاملMutation-Based Generation of Software Product Line Test Configurations
Software Product Lines (SPLs) are families of software products that can be configured and managed through a combination of features. Such products are usually represented with a Feature Model (FM). Testing the entire SPL may not be conceivable due to economical or time constraints and, more simply, because of the large number of potential products. Thus, defining methods for generating test co...
متن کاملThe semigroup of combinatorial configurations
A (v, b, r, k) combinatorial configuration is a (r, k)-biregular bipartite graph with v vertices on the left and b vertices on the right and with no cycle of length 4. Combinatorial configurations have become very important for some cryptographic applications to sensor networks and to peerto-peer communities. Configurable tuples are those tuples (v, b, r, k) for which a (v, b, r, k) combinatori...
متن کاملAn Approach to Automated Building of Software System Configurations
In the paper, we concentrate on a method for building a software connguration. We build conngurations by deening the system's model rst. We have introduced a model of a software system as an AND=OR-type graph with two kinds of nodes: families and variants. Models serve as useful abstractions simplifying the process of connguration building. Being essentially a graph search, it is inevitable to ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the Institute for System Programming of RAS
سال: 2012
ISSN: 2079-8156,2220-6426
DOI: 10.15514/ispras-2012-23-20